Planning temporal events using point–interval logic

Planning temporal events using point-interval logic

The paper presents a temporal logic and its application to planning time-critical missions. An extended version of the Point–Interval Logic (PIL) is presented that incorporates both point and interval descriptions of time. The points and intervals in this formalism represent time stamps and time delays, respectively, associated with events/activities in a mission as constraints on or as resulta...

Symbolic Test Generation Using a Temporal Logic with Constrained Events

1. TLCE A Temporal Logic with Constrained Events a) temporal relationships among input and output (I/O) events b) data dependencies between event parameters 2. TLCE-based symbolic test generation algorithm 3. Case Study: Conference Protocol 4. Case Study: Cache Coherence Protocol

Using Linear Temporal Logic to Model and Solve Planning Problems

In this work we investigate the use of propositional linear temporal logic LTL as a speciication language for planning problems and the use of analytic tableaux as a tool for plan search, following the \planning as satissability" approach 11]. We claim that LTL can be a good speciication language for planning problems, because of its rich expressive power and the underlying simple model of time...

Actions and Events in Interval Temporal Logic

We present a representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches. The representation is motivated by work in natural language semantics and discourse, temporal logic, and AI planning and plan recognition. The formal basis of the representation is presented in detail, from the axiomatization ...

Planning for Protected Areas Using Spatial and Temporal Metrics